$\forall$$T$:Type, $a$,$x$:$T$. ($x$ $\in$ cons($a$; [])) $\Leftarrow\!\Rightarrow$ ($x$ = $a$)